projn($n$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $n$=$_{2}$1$\rightarrow$ 1of($x$) else projn($n$$-$1;2of($x$)) fi  \emph{(recursive)}